perm filename TRIP.TEX[TUG,DEK]9 blob sn#698597 filedate 1983-01-29 generic text, type T, neo UTF8
\catcode `\% = 5 % this is a diabolical test file for TeX82
\catcode `{ = 1
\catcode `} = 2
\catcode `$ = 3
\catcode `& = 4
\let\paR=\par
\let\%=\relax
\outer\xdef\par{\catcode `\% 14}
  % this line should change % from type 5 to type 14
\let\par=\paR
\ifx\initex\undefined  \def\initex{} % next lines are skipped if format loaded
  \catcode `# = 6 % # for parameters
  \catcode `↑ = 7 % ↑ for superscripts
  \catcode `| = 8 % | for subscripts
  \catcode `~ = 9 % ~ will be ignored
  \catcode `* = 10 % * will be like a space
  \catcode `\@ = 15 % @ will be invalid
  \catcode `↑↑A = 8 % this is another way to get a subscript
  \catcode `\↑↑@ = 11 % a strange letter will be allowed
  \catcode `\↑↑? = 0 % and so will a strange escape delimiter
  \texinfo\nullfont 12=13pt % give the null font more parameters
  \font\trip = trip\relax % see TRIP.PL for details of this font
  ↑↑?trip  \font\smalltrip=trip at 5pt % this will be our symbols font
  \global\texinfo\smalltrip 22 7pt % the axis height
  \textfont2=\smalltrip \scriptfont2 \smalltrip \scriptscriptfont2 \smalltrip
  \def\a{ AT 1~0PT}
  \font\rip=trip\a % font \rip will be the same as \trip
  \scrollmode
  \def\on{1}
  \showthe\font \showthe\pageshrink \showthe\pagegoal
  \font\bigtrip=trip at 20pt % this will be extension font
  \textfont3=\bigtrip
  \patterns{.aa1b3 *1aca. b2b b1c} % remember that * is just like space
  \hyphenation{b-b-b-b-b-b tiny }
  \setskip200 = 10pt plus5fillllminus 0 fill
  \setbox200=\vbox{\hrule\vskip\skip200}
  \setskip100 -18pt plus\the\catcode`\}fil minus 10fil
  \advskip100 by \skip200
  \setdimen33=3pt
  \setcount33=\minusthe\dimen33
  \divskip100 by \count33
  \multskip100 by \count33 % so \skip100=-6pt plus 3filll minus 9fil
  \setcount200 -5
  \multcount200 by -100 % \count200 is 500
  \setcount100=1000000
  \divcount100 by \count200 % \count100 is 2000
  \setdimen100=,00152587890625in % (100/65536)in = 7227sp
  \multdimen100 by 65536
  \divdimen100 by 9 % \dimen100 is 803pt
  \lineskip 0pt plus 40pt \tabskip\the\lineskip
  \baselineskip=10pt plus 41pt
  \parskip -0pt plus 42pt minus 8pt
  \splittopskip 1pt plus 43pt
  \splitmaxdepth -2pt \boxmaxdepth 1000pt
  \dispskip 3pt plus 44pt minus\the\baselineskip
  \dispaskip 1pt plus 45pt minus\dimen100
  \dispbskip -\count33sp plus 46pt
  \global\mathchardef\minus"232D % mathbin, family 3, character "2D (-)
  \thinmuskip 1mu plus 2fill minus 3mu
  \medmuskip 2mu minus 3mu
  \thickmuskip -4mu
  \def\gobble#1{} \floatingpenalty 100
  \everypar{A\insert200{\baselineskip400pt\splittopskip\the\count15pt
      \hbox{}\hbox to -10pt{}}\showthe\pagetotal\showthe\pagegoal
    \advcount15by1\mark{\the\count15}\splitmaxdepth-1pt
    \paR\gobble} % this aborts every paragraph abruptly
  \def\weird#1{\csname\expandafter\gobble\string#1 \string\csname\endcsname}
  \message{\weird\one}
  \hyphenpenalty 88 \exhyphenpenalty 89
  \clubpenalty 125 \widowpenalty 125 \displaywidowpenalty -125
  \brokenpenalty 37
  \interlinepenalty -125
  \doublehyphendemerits 1000
  \finalhyphendemerits 100000
  \mag 2000
  \delimiterfactor 10
  \delimiterlimit 190pt
  \showboxbreadth 9999
  \showboxdepth 9999
  \tracingstats=4 \tracinglostchars=2 \tracingparagraphs=1 \tracingpages=1
  \nulldelimiterspace --+.1pt
  \scriptspace\if00-0.\fi\ifnum'\ifnum10=10 12="\fi
    A 01p\ifdim1,0pt<`↑↑Abpt\fi\fi % this boils down to -0.01pt
  \overfullrule 5pt
  \def\sh{\ifnum\count4>10\else\setdimen5=\count4pt
      \advdimen5 by 10pt
      \xdef\a{\a\the\count4pt \the\dimen5}
      \advcount4 by 1 \sh\fi}
  \setcount4=1 \def\a{} \sh % \def\a{1pt 11pt 2pt 12pt ... 10pt 20pt}
  \let\next=\dump
\else\let\next=\relax\fi
\next % if no format was preloaded, this will dump the trip.fmt file and halt
\tracingcommands2
\openout10=tripos % we will write three lines on tripos.tex
\write10{} % the first line is empty
\write10{\uppercase{\number\outputpenalty}} % 0\outputpenalty + error
\write10{\uppercase{\number\the\outputpenalty}} % "mmmmmmmmmm" (-10000)
\vsize 2000pt
\vbadness=1
\topskip 20pt plus 1fil
\penalty -12345 % this will be ignored since the page is still empty
\maxdepth=2pt
\tracingoutput\on
\moveleft20pt\copy200
\moveright20pt\hbox{\vrule depth20pt height-19pt width1pt}
\penalty-10000 % now the default output routine will act
\output={\tracingcommands0\showthe\outputpenalty
  \showboxbreadth 9999 \showboxdepth 9999
  {\setbox 254=\box255\shipout\copy254} % box 254 will disappear
  \ifabsent 254\relax\else\error\fi
  }
\setbox255\vbox{}
\setdimen200=10000pt
{\output{\setdimen 9=1ht200\setcount5=\the\dimen9
    \global\setcount0=\the\outputpenalty
    \setbox255\copy255 % at end of group, \box255 reverts to former value
    \shipout\hbox{\box100\box200\vsplit 255 to 55pt}
    \unvcopy255\showlists\showthe\insertpenalties
    \message{\topmark:\firstmark:\botmark:\splitfirstmark:\splitbotmark}
    \globaldefs1\showboxdepth1
    \showboxbreadth2}
  \insert100{\def\box{\vbox to 267.7pt{}}
    \baselineskip 0pt \lineskip 0pt minus .4pt
    \box \penalty-101 \box \penalty-100 \box \penalty-1000
    } % since \dimen100=803pt<3*267.7pt, the insertion splits;
  % and the natural height+depth of the split-off part is 267.7pt;
  % now since \count100=2000,
  % this insertion adds about 535.4pt to the current page
  \topskip1pt plus 44pt
  \vbox expand 1000pt{} % beginning of new page
  \insertpenalties=-50\penalty12345
  \cleaders\hbox{\lower2pt\vbox to 17pt{}
    \leaders\hrule\hskip10pt
    \cleaders\hbox{A}\hskip 9pt % the A is 2pt wide
    \leaders\hbox{A}\hskip 9pt
    \xleaders\hbox{A}\hskip 9pt
    \write11{\help} % \write will be ignored in leaders
    }\vskip50pt minus 10pt
  \mark{alpha}
  AAA\everypar={} % because of previous \everypar, this makes 3 paragraphs
  % and each paragraph consists of A\insert 200{400pt of stuff}\mark{n}
  % but \count200=500 so the inserts are rated 200pt each
  % so the third insertion will be split
  \kern-50pt
  A\hfill\vadjust{\special{\the\prevdepth}\penalty-5000}%
  \penalty-1000000000 % forces line break in paragraph
  % this is not the end of paragraph
  A\par\insert200{\vskip10000pt\floatingpenalty3}% this insert will be held over
  \pagefilstretch-1pt\showthe\insertpenalties\penalty99999999\showlists
  \showthe\pagefilllstretch\vskip 1000pt\penalty-333\hbox to 23pt{} % output now
  \global\vsize=100000pt % everything else will fit on one page
  } % now we revert to the former output routine
{\tracingoutput=0\tracingstats1\shipout\hbox{\closeout10}}
\showthe\everypar
\everypar{}\showthe\everypar\showthe\minusthe\everypar
\def\showlonglists{{\tracingcommands0\pagefillstretch-1dm100
    \showboxbreadth 9999 \showboxdepth 9999 \showlists \pagegoal=10000pt}}
\tracingmacros=1
\def\t12#101001#{-.#1pt}
\varunit=1.00101pt
\ifdim -0.01001vu=\t120100101001001{\relax}\else\error\fi
\setcount0=-1
\ifeven0\else\advcount0 by -1\fi
\penalty -12345 % output the remaining stuff
% the next part tests line-break computations
% the two competing ways to set the paragraph have respective demerits
% (30+l)↑2+(30+l)↑2+a and (51+l)↑2+l↑2, where a=adjdemerits, l=linepenalty
\adjdemerits=782
\linepenalty=1
\def\1#1{\hbox to#1pt{}}
\ \valign{\baselineskip20ptplus1pt\global\parfillskip0pt
  \global\global\leftskip4pt
  \rightskip-1pt
  \global\hsize13pt
  \setbox2\12
  \noindent\copy2\hskip2pt plus5pt minus1pt
  \copy2\hskip5pt minus2pt
  \lower2pt\11\hskip3pt % this affects depth of the second line
  \copy2 \hskip2pt plus.5pc
  \box2#\cr
  \noalign{\spacefactor=2000\global\xspaceskip=-1pt}
  \noalign{ }
  \cr % set that paragraph with a=782, l=1 (demerits 2704 vs 2705)
  \adjdemerits=784 \cr % increase a, so the second alternative is better
  \linepenalty=2\hbadness=51\cr % increase l by 1, suppress diagnostic typeout
  \noalign{ }}
{\hsize1000pt\par\parindent1pt\indent}\leftskip3pt
\noindent\indent\hbox expand2pt{\hskip0pt plus-1bp}%
\discretionary{AAAB}{B-}{/A\kern2pt}% the widths are 7pt, 4pt, 6pt respectively
 \vbox{\hrule width 6pt} \par % should set with nothing overfull
\penalty-22222 % end of demerits test, hyphenation is next
\looseness-10
\uchyph=1
\hsize 100pt
A /A\char`A BBBBCACAC//% that becomes /k[AA]k[BB]k[BB][CA][CA][C/]/,
 % where [] means a ligature and k means a kern.
 % the word "aabbbbcaca" should be hyphenated to "aa1b3b2b2b1c1aca",
 % which becomes {[AA]k-||[AA]k}{B-|[BB]kBk|[BB][BB]}{C-|A|[CA]}[CA]
 % if I use the notation {x|y|z} for \discretionary{x}{y}{z}. (one hyphen lost)
\vadjust{\uchyph=0\ BBBBBB}% underfull box will show no hyphens
\vadjust{\ BBBBBB}% this time we get hyphens
\hyphenation{BbB-BbB}\vadjust{\ BBBBBB\kern0ptB}% different hyphens
\vadjust{\def\B{B}\ \pretolerance10000 B\B BBBB} % again no hyphens

\hbox{\sfcode`B=1234AB aB }
\scriptscriptfont3 \smalltrip↑{}$\scriptfont3=\rip \texinfo\smalltrip2=0pt
{\rightskip0pt plus 104pt minus 100fil
  \looseness 5 \spaceskip 4pt plus 2pt minus 1fil
  A\spacefactor65536\discretionary{}{-}{B\kern2pt} C$ \scriptfont2=\trip
  \mathsurround143pt$ C $\mathsurround40pt$$\mathsurround60pt\hbox{$$}$\par}
\uccode`m=`A\input tripos % makes a paragraph containing "AAAAAAAAAA"+errors
\penalty-33333 % end hyphenation, math is next
\font \badtrip xyzzy\badtrip % nonexistent font
\font\enorm=trip at 2047.99998pt
\font\ip trip at -10pt % through the looking glass
\showthe\badtrip
\showthe\font
\showthe\ip
\rip
\textfont1=\trip \scriptfont1=\smalltrip \scriptscriptfont1=\bigtrip % [sic]
\def\symbolpar #1*#2*#3*{\global\texinfo\smalltrip #1 = #3 pt}
{\tracingmacros=0
  \symbolpar8 num1 9.1
  \symbolpar9 num2 9.2
  \symbolpar10 num3  9.3
  \symbolpar11 denom1 3.1
  \symbolpar12 denom2 3.2
  \symbolpar13 sup1 8.1
  \symbolpar14 sup2 8.2
  \symbolpar15 sup3 8.3
  \symbolpar16 sub1 4.1
  \symbolpar17 sub2 4.2
  \symbolpar18 supdrop 0.3
  \symbolpar19 subdrop 0.4
  \symbolpar20 delim1 10
  \symbolpar21 delim2 20
  }
\mathcode`+='20457 % mathbin, family 1, character '57 (/)
\mathcode`=="322D % mathrel, family 2, character "2D (-)
\delcode`["161361 % small (family 1, character "61 (a)), large (3,"61)
\catcode`(=13 \catcode`(=13 \mathcode`y"7120\mathcode`z"78A8 % z->(
\def({\delimiter"4162362 } % mathopen, like [ but with b
\parshape 10 \a \chardef\x200
\hangindent- \the\parshape pt\hangafter-12% \parshape will take precedence
\begingroup
\looseness 2
\rightskip 0pt plus 10fil minus 1sp
\--\--\char-0-A\- % this makes lines 1 to 3
$$\number\the\delcode`\relax\over{{{}}}}\pagestretch=-\the\pagetotal\showlists
\halign to\the\displaywidth{#&#\cr\cr} % the display counts as lines 4 to 6
\global\setcount6=\the\displayindent
\predisplaypenalty=101
\global\postdisplaypenalty\minusthe\predisplaysize*
\eqno % another error (actually causes two error messages and inserts $$)
\looseness-2
$\right\relax\mathchardef\minus="322D % locally \minus is the same as =
\left.A\over A\abovewithdelims?\right(+\mskip1A\minus=A+\penalty+1000A
\relpenalty-2222
\binoppenalty-3333
\mathsurround.11em$\x % this formula goes on line 7
$$ % here we begin a hairy display that covers lines 8 to 10
\mkern-9mu \the\prevgraf \prevgraf=8
\x\vcenter expand-2pt{}
↑{\raise 2pt\hbox{a}\displaystyle\char`+\textstyle}
\overline{↑A A|\minus\mathinner{}↑
  {A \mathchar"141 \char`B↑↑A{\mathaccent"7761
      {\mathop A \mathbin A \mathopen A \mathpunct A\mathclose A \mathrel A
        \global\scriptscriptfont0=\trip
        \mathaccent"161 {\fam13A\the\scriptscriptfont-1}}}}}
\mathop\char`B↑\mathchar"143
\mathop b\nolimits\limits|C
\mathord \radical"161 % missing { will be inserted
  {\textstyle\radical"282382{\left(\scriptscriptstyle\mathop{\underline{
          A\atop\displaystyle A|{A\hfil\over B\nonscript\hskip1pt}↑=}}
      \nolimits|{y\nonscript\textstyle\nonscript\mskip9mu minus1fil
        B\abovewithdelims2pt(.\displaylimits}↑z
      \discretionary{\showthe\spacefactor-}{\smalltrip A\hss}{\smalltrip A}
      \right[A}}}
\let\penalty=\minus
\eqno\scriptstyle\penalty % reader, be alert
(\mathpunct{AA}
|{B\fam1-}↑{\hbox{A}}{\above9pt{u\overwithdelims..
    \displaystyle{A\atopwithdelims((\vrule height 9pt}}
  \show\penalty
  \showlonglists$$ % end of the hairy display, missing } will be inserted
\parshape=-1 % now the hanging indentation is relevant
\leftskip \the\parshape pt plus -10fil
\spacefactor1\raise1pt\hbox{\special{\the\hangafter} } \penalty-10000
\spacefactor=0
\write10{\the\spacefactor}\par % it's illegal to \write the space factor
} % this fails to match \begingroup
\endgroup % this restores \parshape
\mark{\the\spacefactor} % \spacefactor: not in vertical mode
$$\global\setcount7=\the\predisplaysize
\mskip18mu minus 18mu
\vtop to\the\displaywidth{\everydisplay{\global}\vbox to -1sp{}\noindent$$
  \setcount9=\the\predisplaysize\lowercase{Aa}$$}\hss
\leqno\mathchardef A\/\left(\over\left($$

\hangindent 254cm
\parfillskip 0pt plus 100pt
\the\fam % begins a paragraph, but there's no 0 in the font
A \char'202$$\global\setcount8=\the\predisplaysize\leqno\kern1009pt$\par
\showlists
\setcount5=\the\lastskip % \lastskip=3pt (\dispskip)
\baselineskip 10pt
{\sfcode`A=500\vfuzz18pt % overfull \vbox won't be shown: 37-8=11+18
  \vbox to 11pt{\hsize 10pt\tolerance 1 A A A A A\clubpenalty10000\par
    \hbadness100\hfuzz 3pt A A A A A\leaders\vrule\hskip5pt\par}
  }
\vbox to 10pt{\hbadness 100\hbox to 10pt{\hskip 0pt plus 10pt}
  \hbox to 10bp{\hskip 0pt plus 10pt}\tracingcommands1 \if00\fi}
\lineskiplimit-1pt
\def\space{ }
\vbox to 11pt{\tracinglostchars=0 A\/\space\space\ignorespaces\space\space J
  \vskip2pt\vbox to10pt{\boxmaxdepth=-1pt\mark{vii}}\vskip3pt
  \unskip\setbox22=\lastbox\showthe\lastskip % \lastskip=-1pt (\baselineskip)
  \unskip\vskip\the\minusthe\lastskip\showbox22}
\showbox22
\show\botmark
\lineskiplimit-0.9999pt \setcount9 0
\vbox to 11pt{\accent "42 \def\↑↑M{\  } \char'101
  A\     \texinfo   \trip   4    =    88    pt\     \spaceskip    2    pt      \
  \vskip 10pt minus 10pt}
\penalty-2147483647 % that's the largest value TeX will scan
\penalty-2147483648 % see?
\tabskip 1009.9sp minus .25cc % and now for alignment tests
\let\A=\relax\setcount1=2
\def\d#1\d{#1#1}
\setbox3=\vtop{\vskip-3mm} % this box has a depth of -3mm
\halign expand-12.truedd{#\A\span&
  \vbox{\halign to 0pt{\t2dp3\A\cr}#A}
  &\hss\tabskip1ex plus7200bp minus 4wd4\d#\d\cr % \d#\d becomes (erroneous) ##
  \global\let\t=\tabskip
  \def\A{B}\def\xx{\global\gdef\A{\global\setcount\count1=\the####\cr
    \omit\cr\tabskip}}\expandafter\xx\span % please don't ask what this does
  A&\omit\valign to -5pt{#&#\cr A\char`}\span\cr{ }\span\cr}\cr
  \global\edef\A{\uppercase{
      \message{\the\smalltrip\the\font\number-1009}\lowercase{uq}} }
  \lccode`Q=`b \span\omit$$\span\A\cr\omit\cr
  \noalign{\global\prevdepth20pt\errmessage{\count2=\the\count2}}
  } % \count2 was set to -6mm=-1118806sp
\errmessage{\prevdepth=\the\prevdepth}
\penalty-88888 % end alignment test, now miscellaneous error messages
\global\unskip\lastbox
\textfont16=\relax
\outer\def{}?
\setdimen5=-'7777777777sp\showthe\dimen5 % this should be OK
\setdimen6=-'40000pt\showthe\dimen6 % this should overflow
\setdimen7=.51dm5\showthe\dimen7 \multdimen7 by 2\showthe\dimen7
\a↑↑@↑↑@a@ % an undefined control sequence followed by invalid character
{\gdef\b{\c} \def\c{} \b} \font\b % \c is undefined outside the group
\def\b#1\par{}
\outer\gdef\a↑↑@↑↑@a#1\par#2{}
\long\gdef\l#1{}
\outer\global\long\edef\lo#1#2#3#4#5#6#7#8#8#9#{\relax}
\ifcase 1 \undefined\or\l\par\b{\par % occurrence of \par aborts \b there
\b{\l\undefined}\par\else\b{\par}\fi % but not there!
\ifcase-1 \ifcase0\fi\else\ifcase5\fi\fi
\catcode`↑↑C = 6 % another parameter symbol
\let\↑↑C=\halign
\def\↑↑@↑↑C{}
\↑↑C{\span\ifcase3 \lo#\cr............89{}\cr} % runaway preamble?
\def\a↑↑C1{\d#1\d\l{#2}\l#1\par\a↑↑@↑↑@a#1\par# % runaway in definition; #2 bad
\xdef\a↑↑C1{\d#1\d\l{#2}\l#1\par\a↑↑@↑↑@a#1\par# % runaway in definition; #2 OK!
↑↑?a↑↑@↑↑@a\par{\lo\par % runaway in use
\lo\par\par\par\par\par\par\par\par\par\par89{}
\setmuskip3=5mu plus \muskip100
\advmuskip3 by \skip100
\divmuskip3 by \skip100
\multmuskip3 by 2
\showthe\muskip3
\divcount88 By 0
\advcount88
↑\mskip\muskip3M\nonscript\hskip\the\thinmuskip

{\setbox3\hbox{\vfill\vsplit 3 0pt}
\def\a#2{}
\show A
\show\a↑↑@↑↑@a
\show (
\show\lo
\show\↑↑C
\show\batchmode
\show\error
\showthe\output
\showthe\thinmuskip
\showthe\texinfo\enorm1
\ifx T\span\else\par\if\span\span\else\else\par\par\fi\fi
\ifdim72pt1in\fi\fi \message{\jobname\ifx\lo\lo OK}\fi
\hangindent 2pt
{\if 11 \prevgraf=-1\if 0123\error\else\relax\fi\else\error\fi
  \prevgraf1\global\hangafter=2}\showthe\hangafter\showthe\prevgraf
\char'203\showthe\prevgraf
$\mark\vadjust\insert&\moveleft\indent % can't do that in math mode
\unhcopy\accent\valign\vfill\vfil\vfilneg\vss % likewise; \vfill exits, \vss bad
\def\a}
\def\a{ab

  \c}\def\b{ab*\par\c}\let\c\b \def\b{\a\c} \ifx\a\ifx \.
\else\expandafter\ifx\b \ifinner\error\else\relax\fi\else\error\fi\fi
\ifvmode$\ifmmode\hbox tt\ifhmode\hfilneg\else\error\fi}$\fi\fi % missing {
\noalign\omit\endcsname % these are extra
\texinfo 1000=20vu\showthe\texinfo\trip1000\let\PAR=\par\gdef\par{\relax\PAR}
\expandafter\ifx\csname xyzzy\endcsname\relax \mag=1999

\fi\halign to 1truemm{\l{#}\cr
  $&.}

\hbox{\textfont3=\enorm\prevdepth\xspaceskip0pt\spacefactor2000{ }
  \everymath{\radical"3}\texinfo\rip2=0pt$62{}\delimiterfactor1600\left(Aa$}
\openin 15 tripos\closein 15
{\ifeof 15\openin 100 tripos
    \def\loop{\ifeof 0\let\loop=\relax\else{\global\read 0 \a}\show\a\fi\loop}
  \catcode`015\loop}\else\fi
\def\test#1{\let\test= }\test. \show\test
\def\a#1{\ifcat#1 \message\ifx#1 {\the\tokens\fi\fi}}
\pretolerance-1\tokens{\a\test}\the\tokens\par
\ifcase1\or\ifeof\fi\def\stopinput{\error\let\input\die}
\let\lb={\let\rb=}\halign{\span\if01}\fi\cr#&\ifnum0=`{\fi\cr\cr}
\def\trap#1{\def#1{danger}\global\let\trap#1\show#1\trap}\def\unbalanced
  {\halign\lb}\unbalanced#\cr\relax\expandafter\trap\cr\show\cr\trap}

\expandafter\stopinput\input tripos\endinput\input % one line of tripos
\setbox10=\vbox to 8192pt{}\vrule\unhbox10\hrule
\output{\showthe\deadcycles\global\advcount0by1\global\globaldefs-1
  \unvbox255\end\rb}\futurelet\output\maxdeadcycles=3\show\output
\catcode`q=7 \catcode`\qqM=0 \expandafter\let\csname↑↑Mendcsname=\↑↑@\relax
\relax \catcode`\↑↑M=13 \defqqM{\relax}#\begingroup

 \long\def\l#1\l{#1}\immediate\write10{\string\caution \l} % living dangerously
 \tracingoutput0\shipout\vbox{\copy10\box10}\deadcycles=1
\setbox9\hbox{\texinfo\rip8 0pt % \over becomes \atop in \scriptstyle
  $\begingroup\mathop{\vbox{\vss}}\limits↑\mathchoice{}a}{A|{}}{\mathchoice}
  {}{B\over}\endgroup\showlonglists$}\showboxbreadth9\showboxdepth9\showbox9
\hbox{\write0{\if01{\else unbal}\fi}\end
% things not tested:
% interaction (error insertion/deletion, interrupts, \pausing, files not there)
% \nonstopmode, \batchmode, \tracingonline=1
% system-dependent parsing of file names, areas, extensions
% certain error messages, especially fatal ones
% unusual cases of fixed-point arithmetic